Jiří Srba: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Strong bisimilarity of simple process algebras: complexity lower bounds

Journal:

Acta Informatica

Year:

2003

Language:

english

File:

PDF, 284 KB

english, 2003

2

Stubborn versus structural reductions for Petri nets

Bønneland, Frederik M., Dyhr, Jakob, Jensen, Peter G., Johannsen, Mads, Srba, Jiří

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 715 KB

english, 2019

3

Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16)

Larsen, Kim G., Srba, Jiří

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 153 KB

english, 2019

4

Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16)

Larsen, Kim G., Srba, Jiří

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 153 KB

2019

5

Reactive Systems (Modelling, Specification and Verification) || Timed automata

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 356 KB

2007

6

Completeness Results for Undecidable Bisimilarity Problems

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 244 KB

english, 2004

7

Preface

Jiří Srba, Scott A. Smolka

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 56 KB

english, 2006

8

Basic process algebra with deadlocking states

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 222 KB

english, 2001

9

Complexity of Weak Bisimilarity and Regularity for BPA and BPP

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

File:

PDF, 455 KB

2003

10

Decidability Issues for Extended Ping-Pong Protocols

Hans Hüttel, Jiří Srba

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 449 KB

english, 2006

11

Adverse drug reactions: Analysis of spontaneous reporting system in Europe in 2007–2009

Srba, Jindrich, Descikova, Veronika, Vlcek, Jiri

Journal:

European Journal of Clinical Pharmacology

Year:

2012

Language:

english

File:

PDF, 215 KB

english, 2012

12

On the computational complexity of bisimulation, redux

Faron Moller, Scott Smolka, Jiří Srba

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 233 KB

english, 2004

13

Modal transition systems with weight intervals

Line Juhl, Kim G. Larsen, Jiřı´ Srba

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 510 KB

english, 2012

14

Undecidability of domino games and hhp-bisimilarity

Marcin Jurdziński, Mogens Nielsen, Jiřı́ Srba

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 310 KB

english, 2003

15

EXPTIME-completeness of thorough refinement on modal transition systems

Nikola Beneš, Jan Křetínský, Kim G. Larsen, Jiří Srba

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 253 KB

english, 2012

16

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata

Byg, Joakim, Jacobsen, Morten, Jacobsen, Lasse, Jørgensen, Kenneth Yrke, Møller, Mikael Harkjær, Srba, Jiří

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.59 MB

english, 2014

17

[ACM Press the 15th ACM SIGSOFT symposium - Bertinoro, Italy (2012.06.25-2012.06.28)] Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering - CBSE '12 - Unblockable compositions of software components

Dong, Ruzhen, Faber, Johannes, Liu, Zhiming, Srba, Jiri, Zhan, Naijun, Zhu, Jiaqi

Year:

2012

Language:

english

File:

PDF, 592 KB

english, 2012

18

Refinement checking on parametric modal transition systems

Beneš, Nikola, Křetínský, Jan, Larsen, Kim G., Møller, Mikael H., Sickert, Salomon, Srba, Jiří

Journal:

Acta Informatica

Year:

2015

Language:

english

File:

PDF, 525 KB

english, 2015

19

Extending modal transition systems with structured labels

BAUER, SEBASTIAN S., JUHL, LINE, LARSEN, KIM G., LEGAY, AXEL, SRBA, JIŘÍ

Journal:

Mathematical Structures in Computer Science

Year:

2012

Language:

english

File:

PDF, 724 KB

english, 2012

20

Efficient model-checking of weighted CTL with upper-bound constraints

Jensen, Jonas Finnemann, Larsen, Kim Guldstrand, Srba, Jiří, Oestergaard, Lars Kaerlund

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 866 KB

english, 2016

21

[ACM Press the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing - Sofia, Bulgaria (2010.06.17-2010.06.18)] Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies - CompSysTech '10 - An experiment with using Google tools for project supervision at tertiary education

Year:

2010

Language:

english

File:

PDF, 173 KB

english, 2010

22

[Lecture Notes in Computer Science] Reachability Problems Volume 9899 ||

Larsen, Kim Guldstrand, Potapov, Igor, Srba, Jiří

Year:

2016

Language:

english

File:

PDF, 5.17 MB

english, 2016

23

[Lecture Notes in Computer Science] Reachability Problems Volume 9899 || The Ideal Theory for WSTS

Larsen, Kim Guldstrand, Potapov, Igor, Srba, Jiří

Year:

2016

Language:

english

File:

PDF, 409 KB

english, 2016

24

[Lecture Notes in Computer Science] Reachability Problems Volume 9899 || Rare Events for Statistical Model Checking an Overview

Larsen, Kim Guldstrand, Potapov, Igor, Srba, Jiří

Year:

2016

Language:

english

File:

PDF, 724 KB

english, 2016

25

[IEEE IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society - Florence, Italy (2016.10.23-2016.10.26)] IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society - Toolchain for user-centered intelligent floor heating control

Agesen, Mads Kronborg, Larsen, Kim Guldstrand, Mikucionis, Marius, Muniz, Marco, Olsen, Petur, Pedersen, Thomas, Srba, Jiri, Skou, Arne

Year:

2016

Language:

english

File:

PDF, 2.56 MB

english, 2016

26

[IEEE 2017 19th International Conference on Transparent Optical Networks (ICTON) - Girona, Spain (2017.7.2-2017.7.6)] 2017 19th International Conference on Transparent Optical Networks (ICTON) - Recording and evaluation of high resolution optical meteor spectra and comparative laboratory measurements using laser ablation of solid meteorite specimens

Ferus, Martin, Koukal, Jakub, Lenza, Libor, Srba, Jiri, Kubelik, Petr, Laitl, Vojtech, Zanozina, Ekaterina M., Vana, Pavel, Kaiserova, Tereza, Knizek, Antonin, Civis, Svatopluk

Year:

2017

Language:

english

File:

PDF, 361 KB

english, 2017

27

Discrete and continuous strategies for timed-arc Petri net games

Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Srba, Jiří

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 698 KB

english, 2017

28

Calibration-free quantitative elemental analysis of meteor plasma using reference laser-induced breakdown spectroscopy of meteorite samples

Ferus, Martin, Koukal, Jakub, Lenža, Libor, Srba, Jiří, Kubelík, Petr, Laitl, Vojtěch, Zanozina, Ekaterina M., Váňa, Pavel, Kaiserová, Tereza, Knížek, Antonín, Rimmer, Paul, Chatzitheodoridis, Elias,

Journal:

Astronomy and Astrophysics

Year:

2018

Language:

english

File:

PDF, 4.31 MB

english, 2018

29

[IEEE IEEE INFOCOM 2018 - IEEE Conference on Computer Communications - Honolulu, HI, USA (2018.4.16-2018.4.19)] IEEE INFOCOM 2018 - IEEE Conference on Computer Communications - Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks

Schmid, Stefan, Srba, Jiri

Year:

2018

Language:

english

File:

PDF, 297 KB

english, 2018

30

Reactive Systems (Modelling, Specification and Verification) || Hennessy–Milner logic with time

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

Language:

english

File:

PDF, 285 KB

english, 2007

31

[ACM Press the 14th International Conference - Heraklion, Greece (2018.12.04-2018.12.07)] Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies - CoNEXT '18 - P-Rex

Jensen, Jesper Stenbjerg, Krøgh, Troels Beck, Madsen, Jonas Sand, Schmid, Stefan, Srba, Jiří, Thorgersen, Marc Tom

Year:

2018

Language:

english

File:

PDF, 1.08 MB

english, 2018

32

Reactive Systems (Modelling, Specification and Verification) || The language CCS

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 230 KB

2007

33

Reactive Systems (Modelling, Specification and Verification) || References

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 104 KB

2007

34

Reactive Systems (Modelling, Specification and Verification) || Introduction

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 40 KB

2007

35

Reactive Systems (Modelling, Specification and Verification) || Modelling mutual exclusion algorithms

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 188 KB

2007

36

Reactive Systems (Modelling, Specification and Verification) || Behavioural equivalences

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 428 KB

2007

37

Reactive Systems (Modelling, Specification and Verification) || Timed behavioural equivalences

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 427 KB

2007

38

Reactive Systems (Modelling, Specification and Verification) || CCS with time delays

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 174 KB

2007

39

Reactive Systems (Modelling, Specification and Verification) || Introduction

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 75 KB

2007

40

Reactive Systems (Modelling, Specification and Verification) || Suggestions for student projects

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 231 KB

2007

41

Reactive Systems (Modelling, Specification and Verification) || HML with recursion

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 353 KB

2007

42

Reactive Systems (Modelling, Specification and Verification) || Hennessy–Milner logic

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 187 KB

2007

43

Reactive Systems (Modelling, Specification and Verification) || Theory of fixed points and bisimulation equivalence

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 167 KB

2007

44

Reactive Systems (Modelling, Specification and Verification) || Preface

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 63 KB

2007

45

Reactive Systems (Modelling, Specification and Verification) || Modelling and analysis of Fischer's algorithm

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 146 KB

2007